Autogenerated HTML docs for v2.25.0-2-g23237 
diff --git a/howto/setup-git-server-over-http.html b/howto/setup-git-server-over-http.html index 47f363e..3aa5a64 100644 --- a/howto/setup-git-server-over-http.html +++ b/howto/setup-git-server-over-http.html 
@@ -436,7 +436,7 @@  p.table {   margin-top: 0;   }  -/* Because the table frame attribute is overriden by CSS in most browsers. */  +/* Because the table frame attribute is overridden by CSS in most browsers. */   div.tableblock > table[frame="void"] {   border-style: none;   }  @@ -1071,7 +1071,7 @@  <div id="footer">   <div id="footer-text">   Last updated  - 2020-01-13 10:44:54 PST  + 2020-01-22 14:00:20 PST   </div>   </div>   </body>